Functors Determined by Values on Objects 4 Daniela
نویسندگان
چکیده
Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial functors on a category of sets (classes), and we give a characterization theorem of the DVO functors over such collection of functors. Moreover, we show that the (κ-bounded) powerset functor is not DVO.
منابع مشابه
Properties of Set Functors
We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects.
متن کاملEquational presentations of functors and monads
In categorical universal algebra, it is well known that a finitary equational presentation of algebras in a finitary variety K amounts to the existence of a coequaliser of a pair of morphisms between finitely generated free algebras. The essence of a universal-algebraic flavour of a finitary functor L : K −→ K is that L is determined by its behaviour on finitely generated free algebras. In fact...
متن کاملun 2 00 5 GENERALIZED BROWN REPRESETABILITY IN HOMOTOPY CATEGORIES
Brown representability approximates the homotopy category of spectra by means of cohomology functors defined on finite spectra. We will show that if a model category K is suitably determined by λ-small objects then its homotopy category Ho(K) is approximated by cohomology functors defined on those λ-small objects. In the case of simplicial sets, we have λ = ω 1 , i.e., λ-small means countable.
متن کاملGeneralized Brown Representability in Homotopy Categories
Brown representability approximates the homotopy category of spectra by means of cohomology functors defined on finite spectra. We will show that if a model category K is suitably determined by λ-small objects then its homotopy category Ho(K) is approximated by cohomology functors defined on those λ-small objects. In the case of simplicial sets, we have λ = ω1, i.e., λ-small means countable.
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کامل